1. Algebra and computer science : "Joint AMS-EMS-SPM Meeting, Algebra and Computer Science, June 10-13, 2015, Porto, Portugal"; "Joint Mathematics Meeting, Groups, Algorithms, and Cryptography, January 10-13, 2015, San Antonio, TX"; "Joint AMS-Israel Mathematical Union Meeting, Applications of Algebra to Cryptography, June 16-19, 2014, Tel-Aviv, Israel"
پدیدآورنده : Delaram Kahrobaei, Bren Cavallo, David Garber, editors
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Algebra,Congresses ، Computer science -- Mathematics
رده :
QA
9
.
A1A42
2. COLOG-88 : International Conference on Computer Logic Tallinn, USSR, December 12-16, 1988 : proceedings
پدیدآورنده : P. Martin-Lof, G Mints, eds
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer science -- Mathematics,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
417
3. COLOG-88: International Conference on Computer Logic Tallinn, USSR, December 12-16, 1988: proceedings
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Mathematics Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
.
I57
1988
4. CSL'88 : 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : Proceedings
پدیدآورنده : E. Borger, H. Kleine Buning, M.M. Richter )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer science -- Mathematics,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
385
5. CSL '88: 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988: proceedings
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Mathematics Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
.
W67
1988
6. CSL'89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989 : Proceedings
پدیدآورنده : E. Borger, H. Kleine Buning, M.M. Richter )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer science -- Mathematics,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
440
7. CSL '89: 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989: proceedings
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Mathematics Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
.
W67
1989
8. Eurofuse 2011
پدیدآورنده : Pedro Melo-Pinto ... [et al] (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Expert systems (Computer science), Congresses,Fuzzy logic, Congresses,Fuzzy mathematics, Congresses,Fuzzy systems, Congresses
رده :
QA76
.
76
.
E95
E325
2011eb
9. Fields of Logic and Computation II
پدیدآورنده : \ Lev D. Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner, Wolfram Schulte (eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Software engineering,نرم‌افزار,-- Congresses,-- کنگره‌ها, -- مهندسی,a04,a04,Computer logic -- Congresses,Computer science -- Mathematics -- Congresses,منطق کامپیوتری -- کنگره ها,علوم کامپیوتر -- ریاضیات -- کنگره‌ها
رده :
QA
76
.
9
.
L63
F54
2015
E-Book
,
10. Formal Concept Analysis :
پدیدآورنده : Diana Cristea, Florence Le Ber, Baris Sertkaya (Eds.) (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science-- Mathematics, Congresses.,Formal methods (Computer science), Congresses.,Logic, Symbolic and mathematical, Congresses.,Computer science-- Mathematics.,Formal methods (Computer science),Logic, Symbolic and mathematical.
رده :
QA76
.
9
.
M35
I58
2019eb
11. Formal Concept Analysis
پدیدآورنده : \ Jaume Baixeries , Christian Sacarea, Manuel Ojeda-Aciego (Eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer science -- Mathematics -- Congresses.,Logic, Symbolic and mathematical -- Congresses.,Formal methods (Computer science) -- Congresses.,علوم کامپیوتر -- ریاضیات -- کنگره‌ها ,منطق ریاضی-- کنگره‌ها ,روش‌های صوری (کامپیوتر) -- کنگره ها
رده :
QA
76
.
9
.
F67
2015
E-Book
,
12. Formal concept analysis
پدیدآورنده : Petko Valtchev, Robert Jeaschke (eds.)
کتابخانه: Central Library and Information Center of Shahed University (Tehran)
موضوع : Lattice theory, Congresses,Computer science, Mathematics, Congresses,Artificial intelligence, Mathematical models, Congresses,Mathematical analysis, Congresses,Logic, symbolic and mathematical, Congresses,Formal methods (Computer science), Congresses
رده :
QA
،
171
.
5
،.
I55
،
2011
13. Generalized quantifiers and computation
پدیدآورنده : Jouko Väänänen (ed.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer logic, Congresses.,Computer science-- Mathematics, Congresses.,Programming languages (Electronic computers), Congresses.
14. Godel'96: logical foundations of mathematics, computer science, and physics-- Kurt Godel's Legacy
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics-- Philosophy,Congresses ، Computer science,Congresses ، Mathematical physics
رده :
QA
9
.
A1
.
G6
1996a
15. Godel'96 : logical foundations of mathematics, computer science and physics-Kurt Godel's Legacy, Bruno]sic[, Czech Republic, August 1996, proceedings
پدیدآورنده : Petr Hajek )ed.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics -- Philosophy,Congresses ، Computer science,Congresses ، Mathematical physics
رده :
QA
9
.
A1L44
Vol
.
6
16. Godel '96: logical foundations of mathematics, computer science, and physics-kurt Godel's legacy: Bruno ]sic[, Czech Republic, August 1996, proceedings
پدیدآورنده : Petr Hajek )ed.(
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Congresses ، Logic, Symbolic and mathematical,Philosophy - Congresses ، Mathematics,Congresses ، Computer science,Congresses ، Mathematical physics
رده :
QA
9
.
A1
G6
1996
17. Logic in computer science: proceedings: 16th Annual IEEE Symposium on Logic in Computer Science, 16-19 June 2001, Boston, Massachusetts
پدیدآورنده : sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Mathematics - Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
S9393
2001
18. Mathematical Foundations of Computer Science 2010
پدیدآورنده :
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer science -- Mathematics -- Congresses,Computer logic -- Congresses,علوم کامپیوتر -- ریاضیات -- کنگره‌ها,منطق کامپیوتری -- کنگره‌ها
رده :
E-Book
,
19. New directions in logic, language and computation
پدیدآورنده : Daniel Lassiter, Marija Slavkovik (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer logic, Congresses,Computer science-- Mathematics, Congresses
رده :
QA76
.
9
.
M35
E97
2010eb
20. Proceedings Symposium on Logic in Computer Science, LICS 94, CNAM, paris France, July 4-7, 1994
پدیدآورنده : sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing INRIA
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Computer science - Mathematics - Congresses, Logic, Symbolic and mathematical - Congresses
رده :
QA
76
.
9
.
M35
S94
1994
